11. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
12. Cold war history
پدیدآورنده : edited by Frédéric Bozo ... [ et al.].
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
13. Innovative design, analysis and development practices in aerospace and automotive engineering (I-DAD 2018).
پدیدآورنده : editors U. Chandrasekhar, Lung-Jieh Yang and S. Gowthaman.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Aerospace engineering, Congresses.,Motor vehicles-- Design and construction, Congresses.,Aerospace engineering.,Motor vehicles-- Design and construction.,TECHNOLOGY & ENGINEERING-- Engineering (General)
رده :
TL505
14. Leveraging applications of formal methods, verification and validation :
پدیدآورنده : Tiziana Margaria, Bernhard Steffen (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.
رده :
QA76
.
9
.
F67
15. New world situation :
پدیدآورنده : Jerzy Pokojski, Shuichi Fukuda, Józef Salwiński, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Concurrent engineering, Congresses.,Production engineering, Congresses.,Concurrent engineering.,Ingénierie.,Production engineering.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
رده :
TS170
.
I87
2010
16. Post-parametric automation in design and construction /
پدیدآورنده : Alfredo Andia, Thomas Spiegelhalter.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Construction industry-- Automation.,Design-- Automation.,Construction industry-- Automation.,TECHNOLOGY & ENGINEERING-- Construction-- General.
رده :
TH437
17. Understanding fabless IC technology /
پدیدآورنده : Jeorge S. Hurtarte, Evert A. Wolsheimer, Lisa M. Tafoya.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Integrated circuits-- Design and construction.,Integrated circuits industry.,Integrated circuits-- Design and construction.,Integrated circuits industry.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7874
.
H8835
2007eb
18. Vehicle-to-grid :
پدیدآورنده : Lance Noel, Gerardo Zarazua de Rubens, Johannes Kester, Benjamin K. Sovacool.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electric power distribution-- Automation.,Electric vehicles-- Power supply.,Smart power grids.,Electric power distribution-- Automation.,Electric vehicles.,Power resources.,Smart power grids.,TECHNOLOGY & ENGINEERING-- Engineering (General)
رده :
TL220
.
N64
2019